1. Information , Interaction And Agency
پدیدآورنده: \ Wiebe Van Der Hoek
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: الگوهای معرفت شناسی
رده :
BD
161
.
H6115
2. Logic, Rationality, and Interaction
پدیدآورنده: \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
3. Logic, Rationality, and Interaction
پدیدآورنده: / fang Wang-Wiebe van der Hoek, Wesley H. Holliday, Wen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
4. Modalities for reasoning about knowledge and quantities
پدیدآورنده: Wiebe van der Hoek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Erkenntnistheorie,Mathematics.,Modality (Logic)
5. Specification and verification of multi-agent systems /
پدیدآورنده: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification.,Multiagent systems.
رده :
QA76
.
76
.
I58
S64
2010
